home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.awt.event.FocusAdapter;
- import java.awt.event.FocusEvent;
- import java.util.EventObject;
- import javax.swing.JComponent;
- import javax.swing.JTabbedPane;
-
- public class BasicTabbedPaneUI$FocusHandler extends FocusAdapter {
- // $FF: synthetic field
- private final BasicTabbedPaneUI this$0;
-
- public BasicTabbedPaneUI$FocusHandler(BasicTabbedPaneUI var1) {
- this.this$0 = var1;
- }
-
- public void focusGained(FocusEvent var1) {
- JTabbedPane var2 = (JTabbedPane)((EventObject)var1).getSource();
- int var3 = var2.getTabCount();
- if (var3 > 0 && var3 == this.this$0.rects.length) {
- ((JComponent)var2).repaint(this.this$0.rects[var2.getSelectedIndex()]);
- }
-
- }
-
- public void focusLost(FocusEvent var1) {
- JTabbedPane var2 = (JTabbedPane)((EventObject)var1).getSource();
- int var3 = var2.getTabCount();
- if (var3 > 0 && var3 == this.this$0.rects.length) {
- ((JComponent)var2).repaint(this.this$0.rects[var2.getSelectedIndex()]);
- }
-
- }
- }
-